range: Avoid rounding errors when allocating highlight
authorTimm Bäder <mail@baedert.org>
Sat, 15 Feb 2020 09:14:13 +0000 (10:14 +0100)
committerTimm Bäder <mail@baedert.org>
Sat, 15 Feb 2020 16:18:26 +0000 (17:18 +0100)
commit2529464e21ce64a8ab56d29aa25e50fcf996d620
tree311b91d8ecc603d81a6f51ddb1054c9d21692d47
parent7e430340688808f075fc63e1986b8343e027ec2f
range: Avoid rounding errors when allocating highlight

Fixes #2438
gtk/gtkrange.c